3.438 \(\int \frac{\sqrt{a+b x^3} \left (c+d x+e x^2+f x^3+g x^4\right )}{x^2} \, dx\)

Optimal. Leaf size=638 \[ \frac{3^{3/4} \sqrt{2+\sqrt{3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \left (14 a^{2/3} \sqrt [3]{b} e-5 \left (1-\sqrt{3}\right ) (2 a f+7 b c)\right ) F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{35 b^{2/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}-\frac{3 \sqrt [4]{3} \sqrt{2-\sqrt{3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (2 a f+7 b c) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{14 b^{2/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{3 \sqrt{a+b x^3} (2 a f+7 b c)}{7 b^{2/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 \sqrt{a+b x^3} \left (315 c x+105 d x^2+63 e x^3+45 f x^4+35 g x^5\right )}{315 x^2}-\frac{3 c \sqrt{a+b x^3}}{x}-\frac{2}{3} \sqrt{a} d \tanh ^{-1}\left (\frac{\sqrt{a+b x^3}}{\sqrt{a}}\right )+\frac{2 a g \sqrt{a+b x^3}}{9 b} \]

[Out]

(2*a*g*Sqrt[a + b*x^3])/(9*b) - (3*c*Sqrt[a + b*x^3])/x + (3*(7*b*c + 2*a*f)*Sqr
t[a + b*x^3])/(7*b^(2/3)*((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)) + (2*Sqrt[a + b*x^
3]*(315*c*x + 105*d*x^2 + 63*e*x^3 + 45*f*x^4 + 35*g*x^5))/(315*x^2) - (2*Sqrt[a
]*d*ArcTanh[Sqrt[a + b*x^3]/Sqrt[a]])/3 - (3*3^(1/4)*Sqrt[2 - Sqrt[3]]*a^(1/3)*(
7*b*c + 2*a*f)*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2/3)
*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticE[ArcSin[((1 - Sqrt[3])*a^(
1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt[3]])/(14*b^(
2/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]
*Sqrt[a + b*x^3]) + (3^(3/4)*Sqrt[2 + Sqrt[3]]*a^(1/3)*(14*a^(2/3)*b^(1/3)*e - 5
*(1 - Sqrt[3])*(7*b*c + 2*a*f))*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^
(1/3)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticF[ArcSin[(
(1 - Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*
Sqrt[3]])/(35*b^(2/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3
) + b^(1/3)*x)^2]*Sqrt[a + b*x^3])

_______________________________________________________________________________________

Rubi [A]  time = 1.29417, antiderivative size = 638, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 11, integrand size = 35, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.314 \[ \frac{3^{3/4} \sqrt{2+\sqrt{3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \left (14 a^{2/3} \sqrt [3]{b} e-5 \left (1-\sqrt{3}\right ) (2 a f+7 b c)\right ) F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{35 b^{2/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}-\frac{3 \sqrt [4]{3} \sqrt{2-\sqrt{3}} \sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (2 a f+7 b c) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{14 b^{2/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{3 \sqrt{a+b x^3} (2 a f+7 b c)}{7 b^{2/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 \sqrt{a+b x^3} \left (315 c x+105 d x^2+63 e x^3+45 f x^4+35 g x^5\right )}{315 x^2}-\frac{3 c \sqrt{a+b x^3}}{x}-\frac{2}{3} \sqrt{a} d \tanh ^{-1}\left (\frac{\sqrt{a+b x^3}}{\sqrt{a}}\right )+\frac{2 a g \sqrt{a+b x^3}}{9 b} \]

Antiderivative was successfully verified.

[In]  Int[(Sqrt[a + b*x^3]*(c + d*x + e*x^2 + f*x^3 + g*x^4))/x^2,x]

[Out]

(2*a*g*Sqrt[a + b*x^3])/(9*b) - (3*c*Sqrt[a + b*x^3])/x + (3*(7*b*c + 2*a*f)*Sqr
t[a + b*x^3])/(7*b^(2/3)*((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)) + (2*Sqrt[a + b*x^
3]*(315*c*x + 105*d*x^2 + 63*e*x^3 + 45*f*x^4 + 35*g*x^5))/(315*x^2) - (2*Sqrt[a
]*d*ArcTanh[Sqrt[a + b*x^3]/Sqrt[a]])/3 - (3*3^(1/4)*Sqrt[2 - Sqrt[3]]*a^(1/3)*(
7*b*c + 2*a*f)*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2/3)
*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticE[ArcSin[((1 - Sqrt[3])*a^(
1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt[3]])/(14*b^(
2/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]
*Sqrt[a + b*x^3]) + (3^(3/4)*Sqrt[2 + Sqrt[3]]*a^(1/3)*(14*a^(2/3)*b^(1/3)*e - 5
*(1 - Sqrt[3])*(7*b*c + 2*a*f))*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^
(1/3)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticF[ArcSin[(
(1 - Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*
Sqrt[3]])/(35*b^(2/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3
) + b^(1/3)*x)^2]*Sqrt[a + b*x^3])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 168.208, size = 580, normalized size = 0.91 \[ - \frac{3 \sqrt [4]{3} \sqrt [3]{a} \sqrt{\frac{a^{\frac{2}{3}} - \sqrt [3]{a} \sqrt [3]{b} x + b^{\frac{2}{3}} x^{2}}{\left (\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x\right )^{2}}} \sqrt{- \sqrt{3} + 2} \left (\sqrt [3]{a} + \sqrt [3]{b} x\right ) \left (\frac{2 a f}{7} + b c\right ) E\left (\operatorname{asin}{\left (\frac{- \sqrt [3]{a} \left (-1 + \sqrt{3}\right ) + \sqrt [3]{b} x}{\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x} \right )}\middle | -7 - 4 \sqrt{3}\right )}{2 b^{\frac{2}{3}} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a} + \sqrt [3]{b} x\right )}{\left (\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x\right )^{2}}} \sqrt{a + b x^{3}}} + \frac{3^{\frac{3}{4}} \sqrt [3]{a} \sqrt{\frac{a^{\frac{2}{3}} - \sqrt [3]{a} \sqrt [3]{b} x + b^{\frac{2}{3}} x^{2}}{\left (\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x\right )^{2}}} \sqrt{\sqrt{3} + 2} \left (\sqrt [3]{a} + \sqrt [3]{b} x\right ) \left (14 a^{\frac{2}{3}} \sqrt [3]{b} e - \left (- 5 \sqrt{3} + 5\right ) \left (2 a f + 7 b c\right )\right ) F\left (\operatorname{asin}{\left (\frac{- \sqrt [3]{a} \left (-1 + \sqrt{3}\right ) + \sqrt [3]{b} x}{\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x} \right )}\middle | -7 - 4 \sqrt{3}\right )}{35 b^{\frac{2}{3}} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a} + \sqrt [3]{b} x\right )}{\left (\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x\right )^{2}}} \sqrt{a + b x^{3}}} - \frac{2 \sqrt{a} d \operatorname{atanh}{\left (\frac{\sqrt{a + b x^{3}}}{\sqrt{a}} \right )}}{3} + \frac{2 a g \sqrt{a + b x^{3}}}{9 b} - \frac{3 c \sqrt{a + b x^{3}}}{x} + \frac{\sqrt{a + b x^{3}} \left (2 c x + \frac{2 d x^{2}}{3} + \frac{2 e x^{3}}{5} + \frac{2 f x^{4}}{7} + \frac{2 g x^{5}}{9}\right )}{x^{2}} + \frac{3 \sqrt{a + b x^{3}} \left (\frac{2 a f}{7} + b c\right )}{b^{\frac{2}{3}} \left (\sqrt [3]{a} \left (1 + \sqrt{3}\right ) + \sqrt [3]{b} x\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((g*x**4+f*x**3+e*x**2+d*x+c)*(b*x**3+a)**(1/2)/x**2,x)

[Out]

-3*3**(1/4)*a**(1/3)*sqrt((a**(2/3) - a**(1/3)*b**(1/3)*x + b**(2/3)*x**2)/(a**(
1/3)*(1 + sqrt(3)) + b**(1/3)*x)**2)*sqrt(-sqrt(3) + 2)*(a**(1/3) + b**(1/3)*x)*
(2*a*f/7 + b*c)*elliptic_e(asin((-a**(1/3)*(-1 + sqrt(3)) + b**(1/3)*x)/(a**(1/3
)*(1 + sqrt(3)) + b**(1/3)*x)), -7 - 4*sqrt(3))/(2*b**(2/3)*sqrt(a**(1/3)*(a**(1
/3) + b**(1/3)*x)/(a**(1/3)*(1 + sqrt(3)) + b**(1/3)*x)**2)*sqrt(a + b*x**3)) +
3**(3/4)*a**(1/3)*sqrt((a**(2/3) - a**(1/3)*b**(1/3)*x + b**(2/3)*x**2)/(a**(1/3
)*(1 + sqrt(3)) + b**(1/3)*x)**2)*sqrt(sqrt(3) + 2)*(a**(1/3) + b**(1/3)*x)*(14*
a**(2/3)*b**(1/3)*e - (-5*sqrt(3) + 5)*(2*a*f + 7*b*c))*elliptic_f(asin((-a**(1/
3)*(-1 + sqrt(3)) + b**(1/3)*x)/(a**(1/3)*(1 + sqrt(3)) + b**(1/3)*x)), -7 - 4*s
qrt(3))/(35*b**(2/3)*sqrt(a**(1/3)*(a**(1/3) + b**(1/3)*x)/(a**(1/3)*(1 + sqrt(3
)) + b**(1/3)*x)**2)*sqrt(a + b*x**3)) - 2*sqrt(a)*d*atanh(sqrt(a + b*x**3)/sqrt
(a))/3 + 2*a*g*sqrt(a + b*x**3)/(9*b) - 3*c*sqrt(a + b*x**3)/x + sqrt(a + b*x**3
)*(2*c*x + 2*d*x**2/3 + 2*e*x**3/5 + 2*f*x**4/7 + 2*g*x**5/9)/x**2 + 3*sqrt(a +
b*x**3)*(2*a*f/7 + b*c)/(b**(2/3)*(a**(1/3)*(1 + sqrt(3)) + b**(1/3)*x))

_______________________________________________________________________________________

Mathematica [C]  time = 2.70796, size = 810, normalized size = 1.27 \[ \frac{270 \sqrt{2} \sqrt [3]{b} f x \left (\sqrt [3]{-1} \sqrt [3]{a}-\sqrt [3]{b} x\right ) \sqrt{\frac{\sqrt [3]{-1} \left (\sqrt [3]{a}-\sqrt [3]{-1} \sqrt [3]{b} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \sqrt{\frac{i \left (\frac{\sqrt [3]{b} x}{\sqrt [3]{a}}+1\right )}{3 i+\sqrt{3}}} \left (-\left (-1+(-1)^{2/3}\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{\sqrt [6]{-1}-\frac{i \sqrt [3]{b} x}{\sqrt [3]{a}}}}{\sqrt [4]{3}}\right )|\frac{\sqrt [3]{-1}}{-1+\sqrt [3]{-1}}\right )-F\left (\sin ^{-1}\left (\frac{\sqrt{\sqrt [6]{-1}-\frac{i \sqrt [3]{b} x}{\sqrt [3]{a}}}}{\sqrt [4]{3}}\right )|\frac{\sqrt [3]{-1}}{-1+\sqrt [3]{-1}}\right )\right ) a^{4/3}-378 b^{2/3} e x \left (\sqrt [3]{-1} \sqrt [3]{a}-\sqrt [3]{b} x\right ) \sqrt{\frac{\sqrt [3]{b} x+\sqrt [3]{a}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \sqrt{\frac{\sqrt [3]{-1} \left (\sqrt [3]{a}-\sqrt [3]{-1} \sqrt [3]{b} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} F\left (\sin ^{-1}\left (\sqrt{\frac{(-1)^{2/3} \sqrt [3]{b} x+\sqrt [3]{a}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}}\right )|\sqrt [3]{-1}\right ) a-210 b d x \sqrt{\frac{(-1)^{2/3} \sqrt [3]{b} x+\sqrt [3]{a}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \sqrt{b x^3+a} \tanh ^{-1}\left (\frac{\sqrt{b x^3+a}}{\sqrt{a}}\right ) \sqrt{a}+945 \sqrt{2} b^{4/3} c x \left (\sqrt [3]{-1} \sqrt [3]{a}-\sqrt [3]{b} x\right ) \sqrt{\frac{\sqrt [3]{-1} \left (\sqrt [3]{a}-\sqrt [3]{-1} \sqrt [3]{b} x\right )}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \sqrt{\frac{i \left (\frac{\sqrt [3]{b} x}{\sqrt [3]{a}}+1\right )}{3 i+\sqrt{3}}} \left (-\left (-1+(-1)^{2/3}\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{\sqrt [6]{-1}-\frac{i \sqrt [3]{b} x}{\sqrt [3]{a}}}}{\sqrt [4]{3}}\right )|\frac{\sqrt [3]{-1}}{-1+\sqrt [3]{-1}}\right )-F\left (\sin ^{-1}\left (\frac{\sqrt{\sqrt [6]{-1}-\frac{i \sqrt [3]{b} x}{\sqrt [3]{a}}}}{\sqrt [4]{3}}\right )|\frac{\sqrt [3]{-1}}{-1+\sqrt [3]{-1}}\right )\right ) \sqrt [3]{a}+\sqrt{\frac{(-1)^{2/3} \sqrt [3]{b} x+\sqrt [3]{a}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \left (b x^3+a\right ) (-315 b c+70 a g x+2 b x (105 d+x (63 e+5 x (9 f+7 g x))))}{315 b x \sqrt{\frac{(-1)^{2/3} \sqrt [3]{b} x+\sqrt [3]{a}}{\left (1+\sqrt [3]{-1}\right ) \sqrt [3]{a}}} \sqrt{b x^3+a}} \]

Warning: Unable to verify antiderivative.

[In]  Integrate[(Sqrt[a + b*x^3]*(c + d*x + e*x^2 + f*x^3 + g*x^4))/x^2,x]

[Out]

(Sqrt[(a^(1/3) + (-1)^(2/3)*b^(1/3)*x)/((1 + (-1)^(1/3))*a^(1/3))]*(a + b*x^3)*(
-315*b*c + 70*a*g*x + 2*b*x*(105*d + x*(63*e + 5*x*(9*f + 7*g*x)))) - 210*Sqrt[a
]*b*d*x*Sqrt[(a^(1/3) + (-1)^(2/3)*b^(1/3)*x)/((1 + (-1)^(1/3))*a^(1/3))]*Sqrt[a
+ b*x^3]*ArcTanh[Sqrt[a + b*x^3]/Sqrt[a]] - 378*a*b^(2/3)*e*x*((-1)^(1/3)*a^(1/
3) - b^(1/3)*x)*Sqrt[(a^(1/3) + b^(1/3)*x)/((1 + (-1)^(1/3))*a^(1/3))]*Sqrt[((-1
)^(1/3)*(a^(1/3) - (-1)^(1/3)*b^(1/3)*x))/((1 + (-1)^(1/3))*a^(1/3))]*EllipticF[
ArcSin[Sqrt[(a^(1/3) + (-1)^(2/3)*b^(1/3)*x)/((1 + (-1)^(1/3))*a^(1/3))]], (-1)^
(1/3)] + 945*Sqrt[2]*a^(1/3)*b^(4/3)*c*x*((-1)^(1/3)*a^(1/3) - b^(1/3)*x)*Sqrt[(
(-1)^(1/3)*(a^(1/3) - (-1)^(1/3)*b^(1/3)*x))/((1 + (-1)^(1/3))*a^(1/3))]*Sqrt[(I
*(1 + (b^(1/3)*x)/a^(1/3)))/(3*I + Sqrt[3])]*(-((-1 + (-1)^(2/3))*EllipticE[ArcS
in[Sqrt[(-1)^(1/6) - (I*b^(1/3)*x)/a^(1/3)]/3^(1/4)], (-1)^(1/3)/(-1 + (-1)^(1/3
))]) - EllipticF[ArcSin[Sqrt[(-1)^(1/6) - (I*b^(1/3)*x)/a^(1/3)]/3^(1/4)], (-1)^
(1/3)/(-1 + (-1)^(1/3))]) + 270*Sqrt[2]*a^(4/3)*b^(1/3)*f*x*((-1)^(1/3)*a^(1/3)
- b^(1/3)*x)*Sqrt[((-1)^(1/3)*(a^(1/3) - (-1)^(1/3)*b^(1/3)*x))/((1 + (-1)^(1/3)
)*a^(1/3))]*Sqrt[(I*(1 + (b^(1/3)*x)/a^(1/3)))/(3*I + Sqrt[3])]*(-((-1 + (-1)^(2
/3))*EllipticE[ArcSin[Sqrt[(-1)^(1/6) - (I*b^(1/3)*x)/a^(1/3)]/3^(1/4)], (-1)^(1
/3)/(-1 + (-1)^(1/3))]) - EllipticF[ArcSin[Sqrt[(-1)^(1/6) - (I*b^(1/3)*x)/a^(1/
3)]/3^(1/4)], (-1)^(1/3)/(-1 + (-1)^(1/3))]))/(315*b*x*Sqrt[(a^(1/3) + (-1)^(2/3
)*b^(1/3)*x)/((1 + (-1)^(1/3))*a^(1/3))]*Sqrt[a + b*x^3])

_______________________________________________________________________________________

Maple [B]  time = 0.014, size = 1248, normalized size = 2. \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((g*x^4+f*x^3+e*x^2+d*x+c)*(b*x^3+a)^(1/2)/x^2,x)

[Out]

e*(2/5*x*(b*x^3+a)^(1/2)-2/5*I*a*3^(1/2)/b*(-a*b^2)^(1/3)*(I*(x+1/2/b*(-a*b^2)^(
1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)*((x-1/b*(-a
*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2)*(-I*(
x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))
^(1/2)/(b*x^3+a)^(1/2)*EllipticF(1/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^
(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1
/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2)))+f*(2/7*x^2*(
b*x^3+a)^(1/2)-2/7*I*a*3^(1/2)/b*(-a*b^2)^(1/3)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I
*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)*((x-1/b*(-a*b^2)^(1/3
))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2)*(-I*(x+1/2/b*(-
a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)/(b*
x^3+a)^(1/2)*((-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*EllipticE(1
/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/
(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3
^(1/2)/b*(-a*b^2)^(1/3)))^(1/2))+1/b*(-a*b^2)^(1/3)*EllipticF(1/3*3^(1/2)*(I*(x+
1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(
1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)
^(1/3)))^(1/2))))+c*(-(b*x^3+a)^(1/2)/x-I*3^(1/2)*(-a*b^2)^(1/3)*(I*(x+1/2/b*(-a
*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)*((x-
1/b*(-a*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2
)*(-I*(x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)
^(1/3))^(1/2)/(b*x^3+a)^(1/2)*((-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(
1/3))*EllipticE(1/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^
(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b
^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2))+1/b*(-a*b^2)^(1/3)*EllipticF(1
/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/
(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3
^(1/2)/b*(-a*b^2)^(1/3)))^(1/2))))+d*(2/3*(b*x^3+a)^(1/2)-2/3*a^(1/2)*arctanh((b
*x^3+a)^(1/2)/a^(1/2)))+2/9*g/b*(b*x^3+a)^(3/2)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )} \sqrt{b x^{3} + a}}{x^{2}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2,x, algorithm="maxima")

[Out]

integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2, x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )} \sqrt{b x^{3} + a}}{x^{2}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2,x, algorithm="fricas")

[Out]

integral((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2, x)

_______________________________________________________________________________________

Sympy [A]  time = 6.68745, size = 236, normalized size = 0.37 \[ \frac{\sqrt{a} c \Gamma \left (- \frac{1}{3}\right ){{}_{2}F_{1}\left (\begin{matrix} - \frac{1}{2}, - \frac{1}{3} \\ \frac{2}{3} \end{matrix}\middle |{\frac{b x^{3} e^{i \pi }}{a}} \right )}}{3 x \Gamma \left (\frac{2}{3}\right )} - \frac{2 \sqrt{a} d \operatorname{asinh}{\left (\frac{\sqrt{a}}{\sqrt{b} x^{\frac{3}{2}}} \right )}}{3} + \frac{\sqrt{a} e x \Gamma \left (\frac{1}{3}\right ){{}_{2}F_{1}\left (\begin{matrix} - \frac{1}{2}, \frac{1}{3} \\ \frac{4}{3} \end{matrix}\middle |{\frac{b x^{3} e^{i \pi }}{a}} \right )}}{3 \Gamma \left (\frac{4}{3}\right )} + \frac{\sqrt{a} f x^{2} \Gamma \left (\frac{2}{3}\right ){{}_{2}F_{1}\left (\begin{matrix} - \frac{1}{2}, \frac{2}{3} \\ \frac{5}{3} \end{matrix}\middle |{\frac{b x^{3} e^{i \pi }}{a}} \right )}}{3 \Gamma \left (\frac{5}{3}\right )} + \frac{2 a d}{3 \sqrt{b} x^{\frac{3}{2}} \sqrt{\frac{a}{b x^{3}} + 1}} + \frac{2 \sqrt{b} d x^{\frac{3}{2}}}{3 \sqrt{\frac{a}{b x^{3}} + 1}} + g \left (\begin{cases} \frac{\sqrt{a} x^{3}}{3} & \text{for}\: b = 0 \\\frac{2 \left (a + b x^{3}\right )^{\frac{3}{2}}}{9 b} & \text{otherwise} \end{cases}\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x**4+f*x**3+e*x**2+d*x+c)*(b*x**3+a)**(1/2)/x**2,x)

[Out]

sqrt(a)*c*gamma(-1/3)*hyper((-1/2, -1/3), (2/3,), b*x**3*exp_polar(I*pi)/a)/(3*x
*gamma(2/3)) - 2*sqrt(a)*d*asinh(sqrt(a)/(sqrt(b)*x**(3/2)))/3 + sqrt(a)*e*x*gam
ma(1/3)*hyper((-1/2, 1/3), (4/3,), b*x**3*exp_polar(I*pi)/a)/(3*gamma(4/3)) + sq
rt(a)*f*x**2*gamma(2/3)*hyper((-1/2, 2/3), (5/3,), b*x**3*exp_polar(I*pi)/a)/(3*
gamma(5/3)) + 2*a*d/(3*sqrt(b)*x**(3/2)*sqrt(a/(b*x**3) + 1)) + 2*sqrt(b)*d*x**(
3/2)/(3*sqrt(a/(b*x**3) + 1)) + g*Piecewise((sqrt(a)*x**3/3, Eq(b, 0)), (2*(a +
b*x**3)**(3/2)/(9*b), True))

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )} \sqrt{b x^{3} + a}}{x^{2}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2,x, algorithm="giac")

[Out]

integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*sqrt(b*x^3 + a)/x^2, x)